TSTP Solution File: GEG018^1 by SInE---0.4